Really enable gdbserver for real mode code.

Missed out one instance where we need to check if we're running on
1:1 page tables with guest paging disabled.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>

diff --git a/tools/libxc/xc_ptrace.c b/tools/libxc/xc_ptrace.c
index 33312434cf81a5f4aa77b0eba2ea8bc29b6f914a..2b53f460cf7dee1798f4113fb9034052a0f56e7d 100644 (file)
--- a/tools/libxc/xc_ptrace.c
+++ b/tools/libxc/xc_ptrace.c
@@ -202,7 +202,7 @@ map_domain_va(unsigned long domid, int cpu, void * guest_va, int perm)
     }
     if ((page = pde_virt[cpu][vtopti(va)]) == 0) /* logical address */
        goto error_out;
-    if (ctxt[cpu].flags & VGCF_VMX_GUEST)
+    if (ctxt[cpu].flags & VGCF_VMX_GUEST && paging_enabled(&ctxt[cpu]))
         page = page_array[page >> PAGE_SHIFT] << PAGE_SHIFT;
     if (page != page_phys[cpu] || perm != prev_perm[cpu]) 
     {